Knowledge Representation and Logic for Beliefs

ثبت نشده
چکیده

This paper presents Belief Augmented Frames, or BAFs. A BAF represents a concept or item in the world, and slotvalue pairs represent relations between BAFs. Each BAF is assigned two belief masses. The Supporting Mass represents the degree in which the evidence supports the existence of the concept or object represented by the BAF. The Refuting Mass represents the degree in which the evidence refutes the existence of the concept or object. The novelty of BAFs comes from the independence between the Supporting and Refuting masses. A logic system called BAF-Logic based on fuzzy-logic style min-max functions and Predicate Logic is also introduced to perform reasoning on BAF and their relations. An example application of BAFs to the text classification problem is given.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Limited Reasoning in First-Order Knowledge Bases with Full Introspection

A fundamental problem in knowledge representation is that reasoning, if based on classical logic, is inherently intractable or even undecidable. A principled approach to specifying more eecient inference mechanisms is to use weaker logics with non-standard model theories. In this paper we extend earlier work on a logic of belief for decidable deductive rst-order reasoning by adding the ability ...

متن کامل

Modalities in Knowledge Representation

Standard knowledge representation systems are supposed to be able to represent either common or individual knowledge about the world. In this paper we propose an extension to such knowledge representation systems which, in a uniform manner, allows to express beliefs of multiple agents as well as knowledge, desire, time and in fact any modality which has a rst-order predicate logic possible worl...

متن کامل

Interleaving Belief Updating and Reasoning in Abductive Logic Programming

Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed either before or after the beliefs are changed. This imposes that, if an update occurs while reasoning is performed, reasoning has to be stopped and re-started anew so that the update is taken into account, with an obvious wast...

متن کامل

A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs

In recent years, various formalizations of nonmonotonic reasoning and di&rent semantics for normal and disjunctive logic programs have been proposed, including autoepisttic logic, circumscription, CWA, GCWA, ECWA, epi&mic specfications, stable, well-founded, stationary and static semantics of normal and disjunctive logic programs. In this paper we introduce a simple non-monotonic knowledge repr...

متن کامل

Belief Revision in Non-Monotonic Reasoning and Logic Programming

In order to be able to explicitly reason about beliefs, we've introduced a non-monotonic formalism, called the Autoepistemic Logic of Beliefs, AEB, obtained by augmenting classical propositional logic with a belief operator, B. For this language we've deened the static autoepistemic expansions semantics. The resulting non-monotonic knowledge representation framework turned out to be rather simp...

متن کامل

Organization of Gatekeeping and Mental Framework in the System of Representation and Hierarchical Relational Structures of the Modern Society

Critical discourse analysis as a type of social practice reveals how linguistic choices enable speakers to manipulate the realizations of agency and power in the representation of action.The present study examines the relationship between language and ideology and explores how such a relationship is represented in the analysis of spoken text and to show how declarative knowledge, beliefs, attit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004